- 2 402 202 книги
- Поиск
The Vienna Development Method: The Meta-Language (Lecture Notes in Computer Science)
Автор: Dines Bjørner, Автор: Cliff B. Jones (editors)Категория: Компьютеры
Размер книги: 14.98 Mb
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series) (v. 3)
Автор: Dines BjørnerКатегория: Компьютеры
Размер книги: 7.31 Mb
Software Engineering 3: Domains, Requirements, and Software Design (Texts in Theoretical Computer Science. An EATCS Series)
Автор: Dines Bjørner
Размер книги: 7.77 Mb
Combinatorics of Coxeter Groups
Автор: Anders Björner, Автор: Francesco Brenti
Размер книги: 2.24 Mb
Oriented Matroids, Second Edition (Encyclopedia of Mathematics and its Applications)
Автор: Anders Björner, Автор: Michel Las Vergnas, Автор: Bernd Sturmfels, Автор: Neil White, Автор: Gunter M. Ziegler
Размер книги: 7.81 Mb
Automated Deduction -- CADE-23
Автор: Nikolaj Bjørner, Автор: Viorica Sofronie-Stokkermans
Размер книги: 5.18 Mb
Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)
Автор: Dines Bjørner
Размер книги: 53.92 Mb
Domain engineering : technology, management, research and engineering (COE Research Monograph Series,Vol.4)
Автор: Dines Bjørner
Размер книги: 32.72 Mb
Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)
Автор: Dines Bjørner
Размер книги: 39.92 Mb
Software Engineering 3
Автор: Dines BjørnerКатегория: Computer science, Algorithms
Размер книги: 6.10 Mb
New perspectives in algebraic combinatorics (proc.MSRI)
Автор: Louis J. Billera, Автор: Anders Björner, Автор: Curtis Greene, Автор: Rodica E. Simion, Автор: Richard P. Stanley
Размер книги: 4.20 Mb
Oriented matroids
Автор: Anders Björner, Автор: Michel Las Vergnas, Автор: Bernd Sturmfels, Автор: Neil White, Автор: Gunter M. Ziegler
Размер книги: 5.11 Mb
Using the Borsuk-Ulam theorem. Lectures on topological methods in combinatorics and geometry
Автор: Jiri Matousek, Автор: A. Björner, Автор: G.M. ZieglerКатегория: Mathematics, Geometry and topology
Размер книги: 1.72 Mb
Software Engineering 2: Specification of Systems and Languages
Автор: Dines Bjørner
Размер книги: 39.79 Mb
Using the Borsuk-Ulam Theorem
Автор: Jiri Matousek, Автор: A. Björner, Автор: G.M. Ziegler
Размер книги: 2.21 Mb
Software Engineering 3 Domains, Requirements, and Software Design
Автор: Dines Bjørner
Размер книги: 7.28 Mb
Software Engineering 3: Domains, Requirements, and Software Design
Автор: Dines Bjørner
Размер книги: 13.37 Mb
Using the Borsuk-Ulam theorem : lectures on topological methods in combinatorics and geometry
Автор: Jiri Matousek, Автор: A. Björner, Автор: G.M. Ziegler
Размер книги: 2.22 Mb
Software Engineering 1: Abstraction and Modelling
Автор: Dines BjørnerКатегория: Cs_Computer science, CsAl_Algorithms
Размер книги: 8.01 Mb
Software Engineering 2: Specification of Systems and Languages
Автор: Dines BjørnerКатегория: Cs_Computer science, CsAl_Algorithms
Размер книги: 8.45 Mb